Bit-Vectors

There are no implementation-dependent features for bit-vectors.